『Homotopy Type Theory: Univalent Foundations of Mathematics』Chapter 10 Set theory

table:単語

intricate 複雑な

membership relation 所属関係

ΠW-pretopos